1. Software Engineering and Formal Methods
Author: \ Radu Calinescu , Bernhard Rumpe (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,Mathematical Logic and Formal Languages.,Software engineering -- Congresses.,مهندسی نرم افزار ,نرمافزار -- مهندسی-- کنگرهها
Classification :
QA
76
.
758
.
S62
2015
E-Book
,
2. Software Engineering and Formal Methods
Author: \ Domenico Bianculli , Radu Calinescu, Bernhard Rumpe (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),نرمافزار -- مهندسی-- کنگرهها,روشهای صوری (کامپیوتر) -- کنگره ها,(روشهای صوری (کامپیوتر
Classification :
QA
76
.
758
.
S62
2015
E-Book
,
3. Software Engineering and Formal Methods
Author: / Radu Calinescu, Bernhard Rumpe
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
